Designing dependable logic controllers using the supervisory control theory

Designing Dependable Logic Controllers Using the Supervisory Control Theory

Enhancement of Robust Tracking Performance via Switching Supervisory Adaptive Control

When the process is highly uncertain, even linear minimum phase systems must sacrifice desirable feedback control benefits to avoid an excessive ‘cost of feedback’, while preserving the robust stability. In this paper, the problem of supervisory based switching Quantitative Feedback Theory (QFT) control is proposed for the control of highly uncertain plants. According to this strategy, the unce...

Model Based Programmable Control Logic Design

The paper presents a methodology of designing control logic that is implemented by industrial programmable logic controllers. The approach is based on discrete-event model of a plant to be controlled and a set of interlock and sequential specification models. Supervisory control theory is used to test the controllability of the specifications and in the final stage, to derive a model of the adm...

Supervisory Fuzzy Control for Networked Control Systems

This work presents a supervisory control strategy for Networked Control Systems. This shows the identification and control of a plant using fuzzy theory. The identification is perform through input-output data. The fuzzy model incorporates the delay dynamics within of fuzzy rules. The controller is composed by a nominal control and a proposed supervisory control from the fuzzy model. A system o...

Designing dependable logic controllers using algebraic specifications

Formal methods can strongly contribute to improve dependability of logic controllers during design, by providing means to avoid flaws due to designers' omissions or specifications misinterpretations. This article presents a formal synthesis method that is aimed at obtaining the control laws of a logic system from specifications given in natural language. The formal framework that underlies the ...